Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
101	NOTE FROM IMTFI Mobile money regulation: A story arc of best practices and emerging realizations Formal mobile money services – the use of mobile phones as a channel for money transfer and savings – have only been ar Add to Reading List Source URL: faculty.sites.uci.edu Language: English - Date: 2011-12-10 15:26:37 Payment systems E-commerce Vodafone Mobile telecommunications Banking in India M-Pesa Mobile payment Bank Money laundering Safaricom Monitise Microfinance
102	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding John McDowall Larry Kerschberg BAE Systems, McLean, VA, USA Abstract Maintaining accurate situat Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Information science Technical communication Semantic Web Upper ontology Formal ontology Web Ontology Language Draft:Outline of ontologies Semantic interoperability
103	piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:50 Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model
104	APPENDIX F – Science and Engineering Practices in the NGSS A Science Framework for K-12 Science Education provides the blueprint for developing the Next Generation Science Standards (NGSS). The Framework expresses a vi Add to Reading List Source URL: www.nextgenscience.org Language: English - Date: 2015-12-28 17:20:10 Scientific method Education reform Formal sciences Education in the United States Next Generation Science Standards Science education Statistics Economic model Engineering Systems engineering Research Conceptual model
105	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D26 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:18 Byzantine music Cretan lyra Cretan music Object Process Methodology Rodin B-Method Michael Butler Metaclass Formal methods Rodin tool
106	Modelling and Analysis of Communications Services Ken Turner Computing Science and Mathematics www.cs.stir.ac.uk/~kjt/research/cress.html Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-14 06:24:22 Formal methods Systems engineering Theoretical computer science Formal verification Logic in computer science Specification Object Process Methodology Cress Verification Diagram
107	Multi-Instance Methods for Partially Supervised Image Segmentation Andreas M¨ uller? and Sven Behnke , Autonomous Intelligent Systems Add to Reading List Source URL: amueller.github.io Language: English - Date: 2016-08-04 15:59:56 Machine learning Formal sciences Artificial intelligence Image processing Image segmentation Computer vision Support vector machine Pattern recognition Kernel method Multiple-instance learning Statistical classification Multiple kernel learning
108	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
109	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-01-08 08:29:08 Automated theorem proving Statements Formal systems Proof theory Philosophy of mathematics Theorem Automated reasoning Conjecture Mathematical logic Mathematical proof Geoff Sutcliffe Axiom
110	Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients Thomas Cluzeau University of Limoges ; CNRS ; XLIM (France) Joint work with M. A. Barkatou and A. Jalouli Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 08:52:31 Complex analysis Ordinary differential equations Operator theory Meromorphic functions Partial differential equations Complex number Singularity Essential singularity Movable singularity Pole Residue Confluent hypergeometric function

UPDATE